Oprogramowania idealne

17 sierpnia 2009, 11:48

Australijska organizacja NICTA ogłosiła powstanie pierwszego w historii jądra systemu operacyjnego, które nie tylko zostało w całości matematycznie opisane, ale również przeprowadzono matematyczne dowody na to, iż każda z linii kodu jest w pełni zgodna ze specyfikacją.



Niepewny los zięb Darwina

18 grudnia 2015, 19:39

Muchówki Philornis downsi mogą w ciągu kilku dziesięcioleci doprowadzić do wyginięcia najpowszechniejszego gatunku zięb Darwina - endemicznej dla Wysp Galápagos darwinki czarnej (Geospiza fortis).


Silnik przyszłości przeszedł pierwsze pomyślne testy w NASA

27 stycznia 2023, 12:05

Inżynierowie z NASA skonstruowali i przetestowali pierwszy pełnoskalowy silnik rakietowy z rotującą detonacją (RDRE – rotating detonation rocket engine). Tego typu napęd może być przyszłością lotów kosmicznych. Dzięki niemu bowiem rakiety będą lżejsze, mniej skomplikowane i zużyją mniej paliwa. Zaledwie trzy lata temu powstał matematyczny model takiego silnika oraz niewielki prototyp, co pozwoliło inżynierom na rozpoczęcie testów urządzenia.


Intuicyjna banda dwojga

28 października 2010, 11:41

Dwie osoby uczą się ze sobą współpracować intuicyjnie – bez komunikowania i bez świadomego zamiaru kooperacji. Większe grupy muszą ze sobą jednak rozmawiać (Cognitive Psychology).


Naukowcy proponują metodę zamiany dowolnych komórek w inne dowolne komórki

25 października 2017, 10:19

W Proceedings of the National Academy of Sciences ukazał się właśnie artykuł, którego autorzy opisują formułę bezpośredniej zamiany dorosłych komórek w dowolne inne komórki


© gari.baldi

Cisza gwarantowana

16 lutego 2008, 01:25

Kto z mieszkańców bloków doświadczył dwutygodniowego remontu u sąsiada, ten nie będzie się mógł doczekać wprowadzenia w życie wynalazków, którymi zajmują się naukowcy z Imperial College London, Duke University w Karolinie Północnej czy Hong Kong University of Science and Technology. Celem teoretycznych jeszcze prac jest bowiem stworzenie systemu "maskowania akustycznego", czyli spowodowanie, aby dźwięki otoczenia omijały wybrany fragment przestrzeni.


Stabilność lotu trzmiela

18 marca 2013, 16:35

Na Xu i Mao Sun z Beihang University wykorzystali model matematyczny, by przeanalizować lot trzmieli przy różnych prędkościach. Okazało się, że owady te są niestabilne w czasie zawisania i ruchu z niewielką szybkością oraz neutralne lub słabo stabilne przy wyprawach odbywanych ze średnią i dużą prędkością.


Matematyk udowodnił niestabilność jednego z rodzajów czasoprzestrzeni

15 maja 2020, 13:02

Równania wywiedzione z ogólnej teorii względności opisują trzy podstawowe konfiguracje czasoprzestrzeni. Teraz udowodniono, że jedna z tych konfiguracji, ważna z punktu widzenia grawitacji kwantowej, jest z natury niestabilna.


Jubileusz 75-lecia Polskiej Akademii Nauk